Премия тьюринга
Профессор Гарварда получил главную компьютерную премию 10.03.2011
Профессор Гарвардского университета Лесли Валиант (Leslie Valiant) получил премию Тьюринга за 2010 год. Об этом сообщается в пресс-релизе Ассоциации вычислительной техники (Association for Computing Machinery, ACM), которая и вручает эту премию.
Премию Тьюринга дали за вклад в абстракцию данных 11.03.2009
Профессор Массачусетского технологического института (MIT) Барбара Лисков (Barbara Liskov) получила престижную премию Тьюринга за вклад в теорию абстракции данных, которая упрощает создание сложных программ, говорится в пресс-релизе института. Эта концепция используется в большинстве современенных языков программирования, в частности, в С++, Java и C#.
Объявлены лауреаты самой престижной компьютерной премии 06.02.2008
Ассоциация вычислительной техники (Association for Computing Machinery, ACM) объявила лауреатов премии Тьюринга (самой престижной премии в области компьютерных наук) за 2007 год. Ими стали Эдмунд Кларк (Edmund Clarke), Аллен Эмерсон (Allen Emerson) и Иосиф Сифакис (Joseph Siphakis), создатели метода верификации моделей программ (Model checking).